Back | Table of Contents |
|
Linear TransformationsIn this section we will again pursue the analogy between vector spaces, on the one hand, and groups and rings on the other, by defining an analogue of the homomorphisms of group theory and ring theory. In the case of vector spaces, the homomorphisms are called linear transformations (or linear operators).
Definition 1: Let V and W be vector spaces over the same field F. A linear transformation from V to W is a function
T(v + v') = T(v) + T(v'),
(2)
T(
![]() ![]() Note that a linear transformation
T(v - v') = T(v) - T(v').
Let v1,...,vn
T(
![]() ![]() ![]() ![]() Example 1: Let Example 2: Let V and W be finite-dimensional vector spaces over the field F and let {e1,...,en}, {f1,...,fm} be bases for V and W, respectively. Let
T(ei) = a1if1 + ... + amifm (1 < i < n),
where
v = ![]() ![]() ![]() ![]() Therefore, by (4),
T(v) =
(5)
![]() ![]()
=
![]() ![]()
= (a11
![]() ![]() ![]() ![]() Thus, the image of any vector v with respect to T is completely determined by the set {aij}. Conversely, given any set with {aij} of mn elements of F, formula (5) defines a linear transformation of V into W. Example 3:
f = a0 + a1X + ... + anXn
![]() let us define the formal derivative of f, denoted Df, by
Df = 1 · a1 + ... + n · anXn-1.
Then Example 4: Let C[0,1] = the vector space over R of all continuous functions
T(f ) =
![]() Then, by the properties if the integral proved in calculus, we have
T(f + g) =
![]()
=
![]() ![]()
= T(f ) + T(g),
T(
![]() ![]() ![]()
=
![]() ![]()
=
![]()
for all As in group theory, and ring theory let us define the kernel of the linear transformation
ker(T) = {v
![]()
Proposition 2: Let (1) T(V) is a subspace of W. (2) ker(T) is a subspace of V. Proof: (1) Let
w - w' = T(v) - T(v') = T(v - v')
![]()
since ![]() ![]() ![]() ![]()
since
T(v - v') = T(v) - T(v')
= 0 - 0
= 0
And, by (2),
T(
![]() ![]() ![]()
Thus, Let
Proposition 3: T is an isomorphism In our discussion of groups we remarked that one of the fundamental goals of the theory of finite groups is to make a list of all nonisomorphic finite groups, this goal being beyond the present state of knowledge. In the case of vector spaces, however, the situation is far different. The following theorem gives a complete classification of all finite-dimensional vector spaces over a field F
Theorem 4: Let V be a finite-dimensional vector space over a field F and let Proof: Let {e1,...,en} be a basis of V. Then every vector
v =
![]() ![]()
Define the function
T(
![]() ![]() ![]() ![]()
It is easy to check that T is a linear transformation and T is clearly surjective. If
T(v) = 0
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]()
Thus, by Proposition 3, T is an isomorphism. Therefore,
Theorem 5: Let V and W be vector spaces over F, and let (1) dimF(T(V)) < dimF(V) (2) If T is an isomorphism, dimF(T(V)) = dimF(V). Proof: (1) Without loss of generality, let us assume that V is finite-dimensional, and let {e1,...,en} be a basis of V. Then
V = {
![]() ![]() ![]() so that
T(V) = {
![]() ![]() ![]() ![]()
and thus {T(e1),...,T(en)} is a set of generators for (2) Let the notation be as in the proof of (1). It suffices to show that {T(e1),...,T(en)} is a basis for
0 =
![]() ![]()
0 = T(
Theorem 5 has an interesting application to the theory of simultaneous linear equations. Let us consider the following system of equations:
a11x1 + a12x2 + ... + a1mxm = b1
a21x1 + a22x2 + ... + a2mxm = b2
.
(7)
.
.
an1x1 + an2x2 + ... + anmxm = bn,
where aij, bi all belong to a given field F. A solution of the system (7) is an m-tuple (x1,...,xm) Theorem 6: Let
a11x1 + a12x2 + ... + a1mxm = 0
a21x1 + a22x2 + ... + a2mxm = 0
.
(8)
.
.
an1x1 + an2x2 + ... + anmxm = 0,
be a homogeneous system with coefficients aij belonging to the field F. If Proof: Consider the linear transformation
T((x1,...,xm)) = (0,...,0)
Assume that (8) has only the zero solution. Then
However, since |
Back | Table of Contents |